5

Uniform approximation of topological spaces

Year:
1998
Language:
english
File:
PDF, 1.05 MB
english, 1998
13

A faithful computational model of the real numbers

Year:
1995
Language:
english
File:
PDF, 1.28 MB
english, 1995
14

Smyth completion as bicompletion

Year:
1999
Language:
english
File:
PDF, 772 KB
english, 1999
15

The essence of ideal completion in quantitative form

Year:
2002
Language:
english
File:
PDF, 175 KB
english, 2002
16

A domain-theoretic approach to computability on the real line

Year:
1999
Language:
english
File:
PDF, 1.80 MB
english, 1999
17

Computable Banach spaces via domain theory

Year:
1999
Language:
english
File:
PDF, 1.14 MB
english, 1999
18

Tensor Products and Powerspaces in Quantitative Domain Theory

Year:
1997
Language:
english
File:
PDF, 1.21 MB
english, 1997
19

Spaces of valuations as quasimetric domains

Year:
1998
Language:
english
File:
PDF, 906 KB
english, 1998
20

Continuous Domains and Banach Spaces

Year:
2000
Language:
english
File:
PDF, 544 KB
english, 2000
21

Preface: Volume 24

Year:
2000
Language:
english
File:
PDF, 32 KB
english, 2000
22

Quasi-uniform completeness in terms of Cauchy nets

Year:
1995
Language:
english
File:
PDF, 479 KB
english, 1995
24

Learning from Nature: Biologically Inspired Robot Navigation and SLAM—A

Year:
2010
Language:
english
File:
PDF, 528 KB
english, 2010
25

Constructing a quasi-uniform function space

Year:
1995
Language:
english
File:
PDF, 1.76 MB
english, 1995
26

On the Duality of Compact vs. Open

Year:
1996
Language:
english
File:
PDF, 713 KB
english, 1996
27

Sobriety in Terms of Nets

Year:
2000
Language:
english
File:
PDF, 41 KB
english, 2000
31

SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Year:
1997
Language:
english
File:
PDF, 312 KB
english, 1997
41

Housing: Equal Opportunity to Choose Where One Shall Live

Year:
1963
Language:
english
File:
PDF, 1.17 MB
english, 1963
50

Lazy computation with exact real numbers

Year:
1999
Language:
english
File:
PDF, 1.16 MB
english, 1999